Thomason’s Theorem for Varieties over Algebraically Closed Fields
نویسنده
چکیده
We present a novel proof of Thomason’s theorem relating Bott inverted algebraic K-theory with finite coefficients and étale cohomology for smooth varieties over algebraically closed ground fields. Our proof involves first introducing a new theory, which we term algebraic K-homology, and proving it satisfies étale descent (with finite coefficients) on the category of normal, Cohen-Macaulay varieties. Then, we prove algebraic K-homology and algebraic K-theory (each taken with finite coefficients) coincide on smooth varieties upon inverting the Bott element.
منابع مشابه
Degenerations of Rationally Connected Varieties and Pac Fields
A degeneration of a separably rationally connected variety over a field k contains a geometrically irreducible subscheme if k contains the algebraic closure of its subfield. If k is a perfect PAC field, the degeneration has a k-point. This generalizes [FJ05, Theorem 21.3.6(a)]: a degeneration of a Fano complete intersection over k has a k-point if k is a perfect PAC field containing the algebra...
متن کاملConics in the Grothendieck ring
The Grothendieck ring of k-varieties is still very poorly understood. In characteristic zero, the quotient of K0[Vark] by the ideal generated by [A ] is naturally isomorphic to the ring Z[SBk], where Z[SBk] is the free abelian group generated by the stable birational equivalence classes of smooth, projective, irreducible k-varieties and multiplication is given by the product of varieties [Lar-L...
متن کاملHilbert’s Tenth Problem for Function Fields of Varieties over Algebraically Closed Fields of Positive Characteristic
Let K be the function field of a variety of dimension ≥ 2 over an algebraically closed field of odd characteristic. Then Hilbert’s Tenth Problem for K is undecidable. This generalizes the result by Kim and Roush from 1992 that Hilbert’s Tenth Problem for the purely transcendental function field Fp(t1, t2) is undecidable.
متن کاملA mod-` vanishing theorem of Beilinson-Soulé type
Let L be a field containing an algebraically closed field and X an equidimensional quasiprojective scheme over L. We prove that CH i(X, n;Z/`) = 0 when n > 2i ≥ 0 and ` 6= 0; this was known previously when i ≥ dimX and L is itself algebraically closed. This “mod-`” version of the Beilinson-Soulé conjecture implies the equivalence of the rational and integral versions of the conjecture for varie...
متن کاملDefinability and Fast Quantifier Elimination in Algebraically Closed Fields
The Bezout-Inequality, an afine version (not in&ding multiplicities) of the classical Bezout-Theorem is derived for applications in algebraic complexity theory. Upper hounds for the cardinality and number of sets definable by first order formulas over algebraically closed fields are given. This is used for fast quantifier elimination in algebraically closed fields.
متن کامل